package ar.edu.utn.frsf.cidisi.upcolbpip.verification;

import org.cpntools.accesscpn.model.demos.statespacegenerator.StateSpaceGenerator;

public class GetStateSpaceGenerator implements Runnable{
	
	private String fileName; 
	
	public GetStateSpaceGenerator(String fileName){
		this.fileName = fileName;
	}
	
	public void run(){
		//try{
			String[] args = {"1",fileName};
			StateSpaceGenerator.main(args);
		///}catch (Exception e) {
		//	System.out.println(e.getMessage());
		//}
	}
}
